Free choice and contextually permitted actions

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action term

Integrability of the critical point of the Kagom\'e three-state Potts mode

The vicinity of the critical point of the three-state Potts model on a Kagom\'e lattice is studied by mean of Random Matrix Theory. Strong evidence that the critical point is integrable is given.Comment: 1 LaTex file + 3 eps files 7 page

Actors, actions, and initiative in normative system specification

The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Thus, the notion of obligation to perform an action arises naturally in system specification. Intuitively, deontic logic presupposes the concept of anactor who undertakes actions and is responsible for fulfilling obligations. However, the concept of an actor has not been formalized until now in deontic logic. We present a formalization in dynamic logic, which allows us to express the actor who initiates actions or choices. This is then combined with a formalization, presented earlier, of deontic logic in dynamic logic, which allows us to specify obligations, permissions, and prohibitions to perform an action. The addition of actors allows us to expresswho has the responsibility to perform an action. In addition to the application of the concept of an actor in deontic logic, we discuss two other applications of actors. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate from CCS in favor of internal and external choice. We show that our generalization allows a more accurate specification of system behavior than is possible without it. Second, we show that actors can be used to resolve a long-standing paradox of deontic logic, called the paradox of free-choice permission. Towards the end of the paper, we discuss whether the concept of an actor can be combined with that of an object to formalize the concept of active objects

Reasoning about agent deliberation

We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cognitive agents with beliefs, goals and plans. The logics are variants of PDL, and allow us to prove safety and liveness properties of SimpleAPL agent programs under different deliberation strategies. We show how to axiomatize different deliberation strategies for SimpleAPL programs, and, for each strategy we consider, prove a correspondence between the operational semantics of SimpleAPL and the models of the corresponding logic. We illustrate the utility of our approach with an example in which we show how to verify correctness properties for a simple agent program under different deliberation strategies

Agent Programming with Declarative Goals

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a `declarative goal'. Instead, such frameworks have focused mainly on plans or `goals-to-do' instead of the end goals to be realised which are also called `goals-to-be'. In this paper, a new programming language called GOAL is introduced which incorporates such declarative goals. The notion of a `commitment strategy' - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. Thus, we offer a complete theory of agent programming in the sense that our theory provides both for a programming framework and a programming logic for such agents. An example program is proven correct by using this programming logic

Reconstruction of {\AA}ngstr{\o}m resolution exit-waves by the application of drift-corrected phase-shifting off-axis electron holography

Phase-shifting electron holography is an excellent method to reveal electron wave phase information with very high phase sensitivity over a large range of spatial frequencies. It circumvents the limiting trade-off between fringe spacing and visibility of standard off-axis holography. Previous implementations have been limited by the independent drift of biprism and sample. We demonstrate here an advanced drift correction scheme for the hologram series that allow to obtain reliable phase information at the 1 {\AA} information limit of the used Titan 80-300 kV environmental transmission electron microscope using a single biprism at moderate voltage of 250 V. The obtained phase and amplitude information is validated at a thin Pt sample by use of multislice image simulation with the frozen lattice approximation and shows excellent agreement. The presented method drastically reduces the hardware requirements and thus allows to achieve high resolution in off-axis holography in various instruments including those for in-situ applications. A software implementation for the acquisition, calibration and reconstruction is provided

Beginning of the End of Cost Competitiveness in CEE Countries - Analysis of Dependence between Labor Costs and Internationalization of the Region

In order to exemplify the above econometric model I carried out empirical analysis of the companies listed on the Warsaw Stock Exchange, identifying the companies for which efficiency-seeking is the main internationalization motive. The analysis of internationalization of 26 companies during the years 1990-2010 clearly shows that a significant part of investments is located outside the territory of Poland, in the countries with lower labor costs. This fact confirms that CEE countries will gradually become less and less attractive in terms of costs not only for MNEs from developed countries but also for the companies originating from transition economies.Głównym celem artykułu jest weryfikacja, czy niski poziom kosztów pracy w Europie Środkowej i Wschodniej będący do tej pory jednym z czynników wpływających na konkurencyjność tego regionu pozostanie nim w dłuższej perspektywie czasowej. W pracy na podstawie próby wszystkich państw UE zbadano zależność pomiędzy poziomem internacjonalizacji (stan odpływu BIZ per capita) a kosztami pracy w sektorze przedsiębiorstw i GNP per capita. Analiza regresji potwierdziła istnienie zależności pomiędzy wyżej wymienionymi czynnikami. Oznacza to, że stopniowy wzrost kosztów pracy w państwach Europy Środkowej i Wschodniej prowadził będzie do stopniowego odpływu BIZ z tego regionu do państw bardziej konkurencyjnych kosztowo. W celu egzemplifikacji powyższych zależności w pracy dodatkowo przedstawiono analizę inwestycji zagranicznych polskich spółek notowanych na GPW, z których to 26 dokonało inwwestycji zagranicznych o wyraźnych motywach związanych z obniżeniem kosztów produkcji. Fakt ten potwierdza powolny spadek konkurencyjności kosztowej polskiej gospodarki, tym samym zmusza do poszukiwania nowych rozwiązań instytucjonalnych mogących utrzymać konkurencyjność polskiej gospodarki w długim okresie

Medium-separation binaries do not affect the first steps of planet formation

The first steps of planet formation are marked by the growth and crystallization of sub-micrometer-sized dust grains accompanied by dust settling toward the disk midplane. In this paper we explore whether the first steps of planet formation are affected by the presence of medium-separation stellar companions. We selected two large samples of disks around single and binary T Tauri stars in Taurus that are thought to have only a modest age spread of a few Myr. The companions of our binary sample are at projected separations between 10 and 450 AU with masses down to about 0.1 solar masses. We used the strength and shape of the 10 micron silicate emission feature as a proxy for grain growth and for crystallization respectively. The degree of dust settling was evaluated from the ratio of fluxes at two different mid-infrared wavelengths. We find no statistically significant difference between the distribution of 10 micron silicate emission features from single and binary systems. In addition, the distribution of disk flaring is indistinguishable between the single and binary system samples. These results show that the first steps of planet formation are not affected by the presence of a companion at tens of AU.Comment: To appear in the Astrophysical Journa

Distance dependence of force and dissipation in non-contact atomic force microscopy on Cu(100) and Al(111)

The dynamic characteristics of a tip oscillating in the nc-AFM mode in close vicinity to a Cu(100)-surface are investigated by means of phase variation experiments in the constant amplitude mode. The change of the quality factor upon approaching the surface deduced from both frequency shift and excitation versus phase curves yield to consistent values. The optimum phase is found to be independent of distance. The dependence of the quality factor on distance is related to 'true' damping, because artefacts related to phase misadjustment can be excluded. The experimental results, as well as on-resonance measurements at different bias voltages on an Al(111) surface, are compared to Joule dissipation and to a model of dissipation in which long-range forces lead to viscoelastic deformations

Symmetry, complexity and multicritical point of the two-dimensional spin glass

We analyze models of spin glasses on the two-dimensional square lattice by exploiting symmetry arguments. The replicated partition functions of the Ising and related spin glasses are shown to have many remarkable symmetry properties as functions of the edge Boltzmann factors. It is shown that the applications of homogeneous and Hadamard inverses to the edge Boltzmann matrix indicate reduced complexities when the elements of the matrix satisfy certain conditions, suggesting that the system has special simplicities under such conditions. Using these duality and symmetry arguments we present a conjecture on the exact location of the multicritical point in the phase diagram.Comment: 32 pages, 6 figures; a few typos corrected. To be published in J. Phys.